A Specification Translation from Behavioral Specifications to Rewrite Specifications
نویسندگان
چکیده
منابع مشابه
Automatic Translation from UML Specifications to B
The translation from UML specifications to B specifications may give a way to use jointly UML and B in an unified, practical and rigorous software development. We can formally analyse UML specifications via their corresponding B formal specifications. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications, so t...
متن کاملA Translation Approach to Portable Ontology Specifications
To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary in which shared knowledge is represented. A specification of a representational vocabulary for a shared domain of discourse — definitions of classes, relations, functions, and other objects — is called an ontology. This paper describes a mechanism for defining ontolo...
متن کاملModular aspects of rewrite-based specifications
We investigate modular properties of term rewriting systems, the basic operational formalism for equational speciications. First we study suucient conditions for the preservation of the termination property under disjoint (and more general) combinations of term rewriting systems. By means of a reened analysis of existing approaches we show how to prove several new asymmetric preservation result...
متن کاملOptimizing Protocol Rewrite Rules of CIL Specifications
For purposes of security analysis, cryptographic protocols can be translated from a high-level message-list language like CAPSL into a multiset rewriting (MSR) rule language like CIL. The natural translation creates two rules per message or computational action. We show how to optimize the natural rule set by about 50% into a form similar to the result of hand encoding, and prove that the trans...
متن کاملA translation method from natural language specifications into formal specifications using contextual dependencies
This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions should be performed. A method of analyzing the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2008
ISSN: 0916-8532,1745-1361
DOI: 10.1093/ietisy/e91-d.5.1492